Spekkens has introduced a toy theory (Spekkens in Phys. Rev. A 75(3):032110, 2007) in order to argue for an epistemic view of quantum states. I describe a notation for the theory (excluding certain joint measurements) which makes its similarities and differences with the quantum mechanics of stabilizer states clear. Given an application of the qubit stabilizer formalism, it is often entirely straightforward to construct an analogous application of the notation to the toy theory. This assists calculations within the toy theory, (...) for example of the number of possible states and transformations, and enables superpositions to be defined for composite systems. (shrink)

This chapter contains sections titled: The Sweated Worker The Inevitability Argument Justifying the Conditions Sweating Women Cynical Choices.

This article argues that the encounter between Andromache and Ulysses in Seneca's Troades engages with the genre of declamation to juxtapose two different discourses surrounding torture: one focussed on torture's connection to truth, the other on its connection to tyranny. It describes how the Greek general Ulysses, convinced of the danger of letting the Trojan prince Astyanax live, threatens his mother Andromache with physical torture in order to ascertain the truth of Astyanax's whereabouts. However, Ulysses is countered by Andromache's rhetoric, (...) through which, the article shows, she depicts herself as the archetypal heroic victim of a tyrant. It discusses how Ulysses innovates with an effective psychological torture in response. The article sets the scenario within the broader rhetorical context and demonstrates how it reflects debate among the contemporary elite about the necessity of, and the risks from, the rising use of torture by the Julio-Claudian emperors, a debate which resonates in the modern era. (shrink)

I examine two strands in Locke's thought which seem to conflict with his corpuscularian sympathies: his repeated suggestion that natural philosophy is incapable of being made a science, and his claim that some of the properties of bodies--secondary qualities, powers of gravitation, cohesion and maybe even thought--are arbitrarily "superadded" by God. ;Locke often says that a body's properties flow from its real essence as the properties of a triangle flow from its definition. He is widely read as having thought that (...) if we had ideas of a body's real essence, we would be able to perceive a priori a necessary connection between that body's real essence and its observable properties. I argue that this leaves Locke's skepticism without any rationale, making it depend entirely upon our ignorance of corpuscular structures when in fact he never rules out the possibility of our acquiring ideas of corpuscular structures through improvements in microscopy. I argue that Locke's geometrical analogy is better understood as an endorsement of deductivism about scientific explanation. He thinks that knowledge of corpuscular structures is a necessary, but not a sufficient, condition for scientific knowledge of bodies. The deeper source of his skepticism is his view that we cannot have universal and certain knowledge of the laws of nature because they are contingent. ;I approach the subject of Locke's attitude toward mechanism by examining his superaddition doctrine. In contrast with M. R. Ayers, I attribute to Locke what I call strong voluntarism: the view that a body's powers to interact with other bodies are not fully determined by the essence of matter, and that they are at least partly determined by the will of God. I argue that Descartes and Boyle are also strong voluntarists, but that Locke's voluntarism differs in that he maintains that bodies have some powers which are not even partly explicable in terms of the motions of matter. Locke's position is thus incompatible with the mechanism of Descartes and Boyle. (shrink)

Led by Buddhists and the yoga traditions of Hinduism and Jainism, Indian thinkers have long engaged in a rigorous analysis and reconceptualization of our common notion of self. Less understood is the way in which such theories of self intersect with issues involving agency and free will; yet such intersections are profoundly important, as all major schools of Indian thought recognize that moral goodness and religious fulfillment depend on the proper understanding of personal agency. Moreover, their individual conceptions of agency (...) and freedom are typically nodes by which an entire school's epistemological, ethical, and metaphysical perspectives come together as a systematic whole. Free Will, Agency, and Selfhood in Indian Philosophy explores the contours of this issue, from the perspectives of the major schools of Indian thought. With new essays by leading specialists in each field, this volume provides rigorous analysis of the network of issues surrounding agency and freedom as developed within Indian thought. (shrink)

We discuss a recent approach to investigating cognitive control, which has the potential to deal with some of the challenges inherent in this endeavour. In a model-based approach, the researcher defines a formal, computational model that performs the task at hand and whose performance matches that of a research participant. The internal variables in such a model might then be taken as proxies for latent variables computed in the brain. We discuss the potential advantages of such an approach for the (...) study of the neural underpinnings of cognitive control and its pitfalls, and we make explicit the assumptions underlying the interpretation of data obtained using this approach. (shrink)

Prioritarianism is an ethical theory that gives extra weight to the well-being of the worse off. In contrast, dominant policy-evaluation methodologies, such as benefit-cost analysis, cost-effectiveness analysis, and utilitarianism, ignore or downplay issues of fair distribution. Based on a research group founded by the editors, this important book is the first to show how prioritarianism can be used to assess governmental policies and evaluate societal conditions. This book uses prioritarianism as a methodology to evaluate governmental policy across a variety of (...) policy domains: taxation, health policy, risk regulation, education, climate policy, and the COVID-19 pandemic. It is also the first to demonstrate how prioritarianism improves on GDP as an indicator of a society's progress over time. Edited by two senior figures in the field with contributions from some of the world's leading economists, this volume bridges the gap from the theory of prioritarianism to its practical application. (shrink)

Recent debates within the autism advocacy community have raised difficult questions about who can credibly act as a representative of a particular population and what responsibilities that...

Early executive function skills reliably predict school readiness and future academic success. While children’s skills undergo rapid development during the transition to formal schooling, it remains unclear the extent to which schooling exerts a unique influence on the accelerated development of EF and academic skills during the early years of schooling. In the present study, a quasi-experimental technique known as the school cutoff design was used to examine whether same-aged children who made vs. missed the age cutoff for school entry (...) significantly differed on EF, reading, and math outcomes. Data from 166 pre-k, kindergarten, and first grade children from a longitudinal study of literacy development were analyzed. Children were assessed on EF, reading, and math skills in fall and spring. Results revealed unique effects of kindergarten, but not first grade, on growth in EF and reading over and above the effect of age. Schooling was unrelated to growth in math. Because kindergarten represents the first year of elementary school and children’s first exposure to a formal schooling environment, kindergarten schooling may be uniquely positioned to produce greater gains in academic and behavioral outcomes compared to other grades. (shrink)

Cristofano Bertelli’s companion broadsheets, printed in Modena in the 1560s, represent a failed attempt to introduce a new iconographic theme to the Italian print market. Contrary to the vibrant success of transalpine prints representing the Steps of Life with animal analogies, Bertelli’s initiative did not stimulate Italian visual culture to produce the multiple copies, imitations and derivations long enjoyed by this motif in areas north of the Alps. The only other, comparable images to appear in the peninsula in the course (...) of the sixteenth century would seem to be Titian’s allegorical triple portrait, and a pair of large, anonymous woodcuts from the later Cinquecento, possibly made in Venice. The recalcitrance of Counter-Reformation Italy towards this imported topos is difficult to account for, especially when a retail vogue for a similar genre—the multi-vignette moralising broadsheet— was trending in local print markets. There is no direct explanation for the apparent indifference met by Bertelli’s attempt at iconographic innovation. Nonetheless, a cluster of factors relative to print culture and animal lore North and South of the Alps provides indirect but ample evidence to account for the ‘flop’ of Bertelli’s broadsheets. Among these, the Christian visual tradition features prominently, contributing to viewer diffidence towards serial analogies between humans and animals. The market for illustrated books on animals is also considered, as it testifies to a transalpine divide with regard to moralised natural history and, in Italy, an inhospitable cultural climate for the Steps of Life motif. (shrink)

The framework proposed by Dupras and Bunnik was developed in response to their recognition that standard regulations are increasingly inadequate to address the complex privacy issues created by the...

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is${\rm{\Delta }}_\alpha ^0 $-complete for someα. To prove this, we extend Montalbán’sη-system framework to deal with limit ordinals in a more general way. We also show that, for any fixed computable structure, there is an ordinalαand a cone in the Turing degrees such that the exact complexity (...) of computing an isomorphism between the given structure and another copy${\cal B}$in the cone is a c.e. degree in${\rm{\Delta }}_\alpha ^0\left$. In each of our theorems the cone in question is clearly described in the beginning of the proof, so it is easy to see how the theorems can be viewed as general theorems with certain effectiveness conditions. (shrink)

The only explicit indication in the text of Ammianus Marcellinus as to the historian's origin comes in the famous epilogue to the Res Gestae, that he had written ‘as once a soldier, and a Greek’ , supported by various passages in which he refers to the Greek language as his own. The evidence that, through the length and breadth of the Greek-speaking world, we should look to Syrian Antioch for his place of origin, is provided by the orator of that (...) city, Libanius, in a letter written late in 392 ‘to Marcellinus’. The purpose of this article is to set out explicitly the arguments for the identification of Libanius' correspondent as Ammianus Marcellinus in the light of the recent challenges to the accepted view offered by G. W. Bowersock, C. W. Fornara, and T. D. Barnes. Since the discussion requires that the letter be considered in detail, it is given here, in Foerster's Teubner text followed by a translation of Libanius' often very allusive language. (shrink)

The only explicit indication in the text of Ammianus Marcellinus as to the historian's origin comes in the famous epilogue to the Res Gestae, that he had written ‘as once a soldier, and a Greek’, supported by various passages in which he refers to the Greek language as his own. The evidence that, through the length and breadth of the Greek-speaking world, we should look to Syrian Antioch for his place of origin, is provided by the orator of that city, (...) Libanius, in a letter written late in 392 ‘to Marcellinus’. The purpose of this article is to set out explicitly the arguments for the identification of Libanius' correspondent as Ammianus Marcellinus in the light of the recent challenges to the accepted view offered by G. W. Bowersock, C. W. Fornara, and T. D. Barnes. Since the discussion requires that the letter be considered in detail, it is given here, in Foerster's Teubner text followed by a translation of Libanius' often very allusive language. (shrink)

Ethics and Advocacy considers the connections and differences between critical reflection or moral arguments or narratives and advocacy for particular issues regarding justice and moral behavior and dispositions. The chapters in this volume share an interest in overcoming polarizing division that does not enable fruitful give-and-take discussion and even possible persuasive justifications. The authors all believe that both ethics and advocacy are important and should inform each other, but each offers a divergent point of view on the way forward to (...) these agreed-upon ends. Our shared goal is to avoid academic withdrawal and to speak relevantly to the important issues of our day while halting--or at least mitigating--the disruptive discourse--almost shouting--that characterizes our polarized current society. (shrink)

The $\Omega $ numbers—the halting probabilities of universal prefix-free machines—are known to be exactly the Martin-Löf random left-c.e. reals. We show that one cannot uniformly produce, from a Martin-Löf random left-c.e. real $\alpha $, a universal prefix-free machine U whose halting probability is $\alpha $. We also answer a question of Barmpalias and Lewis-Pye by showing that given a left-c.e. real $\alpha $, one cannot uniformly produce a left-c.e. real $\beta $ such that $\alpha - \beta $ is neither left-c.e. (...) nor right-c.e. (shrink)

When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and ${\mathcal {L}}_{\omega _1, \omega }$ -elementary? We find that these are exactly the classes (...) that can be defined by an infinitary formula that has no infinitary disjunctions. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

This paper takes the case of the proposed building of the Traveston dam on the Mary River in Australia to examine the ways postcolonial power relations are played out in city/regional relationships to further the interests of the city. Postcolonialism is concerned with unravelling multiple histories of colonialism, and identifying the reproduction, contestation, ambivalence and transformation of modes of domination and subordination in colonial relations. Political contingencies and contestations by residents, farmers, traditional Indigenous owners and environmentalists seeking to protect endangered (...) species are examined to highlight the dominance of Western anthropocentric, technocentric, and eurocentric epistemologies in political, ecological, environmental, biotheical debates. (shrink)

Decaying wood, while an abundant and stable resource, presents considerable nutritional challenges due to its structural rigidity, chemical recalcitrance, and low nitrogen content. Despite these challenges, certain insect lineages have successfully evolved saproxylophagy (consuming and deriving sustenance from decaying wood), impacting nutrient recycling in ecosystems and carbon sequestration dynamics. This study explores the uneven phylogenetic distribution of saproxylophagy across insects and delves into the evolutionary origins of this trait in disparate insect orders. Employing a comprehensive analysis of gut microbiome data, (...) from both saproxylophagous insects and their non‐saproxylophagous relatives, including new data from unexplored wood‐feeding insects, this Hypothesis paper discusses the broader phylogenetic context and potential adaptations necessary for this dietary specialization. The study proposes the “Detritivore‐First Hypothesis,” suggesting an evolutionary pathway to saproxylophagy through detritivory, and highlights the critical role of symbiotic gut microbiomes in the digestion of decaying wood. (shrink)

We prove that the generalized cancellation axiom for incomplete comparative probability relations introduced by Rios Insua and Alon and Lehrer is stronger than the standard cancellation axiom for complete comparative probability relations introduced by Scott, relative to their other axioms for comparative probability in both the finite and infinite cases. This result has been suggested but not proved in the previous literature.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)